$T_{1}$ $\cap$ $T_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\cap$$b$:$\mathbb{B}$. if $b$$\rightarrow$ $T_{1}$ else $T_{2}$ fi